<?php

/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */

session_start();
if(!isset($_SESSION["empleado"])){
    header("location:index.html");
      
}else{
    session_unset();
    session_destroy();
    header("location:index.html");
}

?>
